$\forall$${\it es}$:ES, $A$:Type, $X$:AbsInterface($A$ List), $e$:E. es{-}interface{-}history(${\it es}$;$X$;$e$) $\in$ ($A$ List)